LTLC 相关硕士博士期刊学术论文 - 搜论网

LTLC相关论文

用带时钟变量的线性时态逻辑扩充Object—Z

Object-Z是形式规格说明语言Z的面向对象扩充,适合描述大型面向对象软件规格说明,但它不能很好地描述连续性实时变量和时间限制。......

期刊

OBJECT-Z 用带时钟变量的时态逻辑实时系统形式规格说明形式验证 Object-Z LTLC real-time system forma

一种基于CBSE的嵌入式实时软件建模方法研究

基于构件的软件工程(CBSE)是众多嵌入式软件开发方法中的一种崭新方法.本文提出一种RT-UML*/LTLC的双语言框架来对基于CBSE的嵌入......

期刊

嵌入式实时软件 CBSE 建模 RT—UML^＊ LTLC 建模方法软件开发方法嵌入式软件软件工程构件 Embedded real-time softw

看过本文同时还关注